Building Models of Linear Logic ( Extended
نویسندگان
چکیده
A generic method for constructing categorical models of Linear Logic is provided and instantiated to yield traditional models such as coherence spaces, hypercoherences, phase spaces, relations, etc. The generic construction is modular, as expected. Hence we discuss multi-plicative connectives, modalities and additive connectives in turn. Modelling the multiplicative connectives of Linear Logic is a generalisation of previous work, requiring a few non-standard concepts. More challenging is the modelling of the modalities`!' (and, respectively`?'), which is achieved in the surprisingly general setting of this construction by considering !-candidates and showing that they exist and constitute a modality, under appropriate conditions.
منابع مشابه
AN EXTENDED FUZZY ARTIFICIAL NEURAL NETWORKS MODEL FOR TIME SERIES FORECASTING
Improving time series forecastingaccuracy is an important yet often difficult task.Both theoretical and empirical findings haveindicated that integration of several models is an effectiveway to improve predictive performance, especiallywhen the models in combination are quite different. In this paper,a model of the hybrid artificial neural networks andfuzzy model is proposed for time series for...
متن کاملHorn Clauses and Feature-Structure Logic: Principles and Unification Algorithms
The desirability of Horn clauses in logical deductive systems has long been recognized. The reasons are at least threefold. Firstly, while inference algorithms for full logics of any reasonable extent are typically intractable, for systems restricted to Horn clauses the picture is much better. (For example, in ordinary propositional logic, while the full satisfiability problem is NP-complete, a...
متن کاملReview and Classification of Modeling Approaches of Soil Hydrology Processes
To use soil hydrology processes (SHP) models, which have increasingly extended during the last years, comprehensive knowledge about these models and their modeling approaches seems to be necessary. The modeling approaches can be categorized as either classical or non-classical. Classical approaches mainly model the SHP through solving the general unsaturated flow (Richards) equation, numericall...
متن کاملReview and Classification of Modeling Approaches of Soil Hydrology Processes
To use soil hydrology processe (SHP) models, which have increasingly extended during the last years, comprehensive knowledge about these models and their modeling approaches seems to be necessary. The modeling approaches can be categorized as either classical or non-classical. Classical approaches mainly model the SHP through solving the general unsaturated flow (Richards) equation, numerically...
متن کاملSemi-active Control of Building Structures using Variable Stiffness Device and Fuzzy Logic
Semi-active control devices, also called “Intelligent” control devices, constitute the positive aspects of both the passive and active control devices. A semi-active control strategy is similar to the active control strategy, but this control device has been shown to be more energy-efficient than active devices. A particular type of semi-active control device, the Variable Stiffness Device (VSD...
متن کامل